Hawk: Module LIP Makes Lattice Signatures Fast, Compact and Simple
نویسندگان
چکیده
We propose the signature scheme Hawk, a concrete instantiation of proposals to use Lattice Isomorphism Problem (LIP) as foundation for cryptography that focuses on simplicity. This simplicity stems from LIP, which allows lattices such $$\mathbb Z^n$$ , leading algorithms with no floats, rejection sampling, and compact precomputed distributions. Such design features are desirable constrained devices, when computing signatures inside FHE or MPC. The most significant change recent LIP is module lattices, reusing ideas NTRUSign Falcon. Its makes Hawk competitive. provide cryptanalysis experimental evidence implement two parameter sets, Hawk-512 Hawk-1024. Signing using Hawk-1024 four times faster than Falcon x86 architectures, produces about 15% more compact, slightly secure against forgeries by lattice reduction attacks. When floating-points unavailable, signs 15 worst case average LIP. For certain parametrisations this applies secret key recovery we reduce forgery in random oracle model new problem called one short vector problem.
منابع مشابه
A Simple, Fast, and Compact Static Dictionary
We present a new static dictionary that is very fast and compact, while also extremely easy to implement. A combination of properties make this algorithm very attractive for applications requiring large static dictionaries: 1. High performance, with membership queries taking O(1)-time with a near-optimal constant. 2. Continued high performance in external memory, with queries requiring only 1-2...
متن کاملFast and Compact: A Simple Class of Congestion Games
We study a simple, yet rich subclass of congestion games that we call singleton games. These games are exponentially more compact than general congestion games. In contrast with some other compact subclasses, we show tractability of many natural game-theoretic questions, such as finding a sample or optimal Nash equilibrium. For bestand better-response dynamics, we establish polynomial upper and...
متن کاملArithmetic Coding and Blinding Countermeasures for Lattice Signatures Engineering a Side-Channel Resistant Post-Quantum Signature Scheme with Compact Signatures
We describe new arithmetic coding techniques and side-channel blinding countermeasures for lattice-based cryptography. Using these techniques, we develop a practical, compact, and more quantum-resistant variant of the BLISS Ideal Lattice Signature Scheme. We first show how the BLISS parameters and hash-based random oracle can be modified to be more secure against quantum preimage attacks while ...
متن کاملType Isomorphisms for Module Signatures
This work focuses on software reuse for languages equipped with a module system. To retrieve modules from a library, it is quite reasonable to use module signatures as a search key, up to a suitable notion of signature isomorphism. We study a formal notion of isomorphism for module signatures, which naturally extends the notion of isomorphism for types in functional languages. Isomorphisms betw...
متن کاملLattice Signatures and Bimodal Gaussians
Our main result is a construction of a lattice-based digital signature scheme that represents an improvement, both in theory and in practice, over today’s most efficient lattice schemes. The novel scheme is obtained as a result of a modification of the rejection sampling algorithm that is at the heart of Lyubashevsky’s signature scheme (Eurocrypt, 2012) and several other lattice primitives. Our...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2022
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-22972-5_3